1
Hình học của Bốn Không gian Cơ bản
MATH004Lesson 4
00:00
Bốn không gian cơ bản của bất kỳ ma trận $A \in \mathbb{R}^{m \times n}$ không tồn tại một cách biệt; chúng được liên kết hình học với nhau như các cặp bù vuông góc. Kiến trúc "vuông góc" này là điều kiện tiên quyết để giải các hệ thống không nhất quán thông qua phép chiếu và bình phương tối thiểu. Chúng ta xác lập rằng không gian hàng $C(A^T)$ hoàn toàn vuông góc với không gian nghiệm $N(A)$ trong $\mathbb{R}^n$, trong khi không gian cột $C(A)$ vuông góc với không gian nghiệm trái $N(A^T)$ trong $\mathbb{R}^m$.

Định nghĩa và Tính vuông góc

Để hiểu cấu trúc của một ma trận, trước tiên chúng ta phải định nghĩa rõ ràng điều gì nghĩa là các không gian con vuông góc với nhau. Đây là một điều kiện nghiêm ngặt hơn nhiều so với tính vuông góc đơn giản giữa các vector.

  • Tính vuông góc của không gian con: Hai không gian con $V$ và $W$ của một không gian vector được gọi là vuông góc nếu mọi vector $v$ trong $V$ vuông góc với mọi vector $w$ trong $W$. Về mặt hình thức: $v^T w = 0$ đối với mọi $v \in V$ và mọi $w \in W$.
  • Phần bù vuông góc ($V^\perp$): Phần bù vuông góc của một không gian con $V$ chứa mọi vector vuông góc với $V$. Nó được ký hiệu là $V^\perp$ (đọc là "V vuông góc").

Định lý cơ bản về tính vuông góc

Định lý cốt lõi của đại số tuyến tính nối kết hành động của ma trận với hình học của các không gian của nó:

Chứng minh cho không gian hàng

Nếu $x$ thuộc không gian nghiệm $N(A)$, thì $Ax = 0$. Điều này có nghĩa là tích vô hướng của mỗi hàng của $A$ với $x$ đều bằng 0. Vì không gian hàng $C(A^T)$ được sinh bởi những hàng này, nên mọi vector trong không gian hàng đều phải vuông góc với $x$.

$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$

Điều này dẫn đến sự cân bằng tuyệt đẹp về chiều số. Trong $\mathbb{R}^n$, các chiều số luôn bổ sung cho nhau: $\dim(C(A^T)) + \dim(N(A)) = n$. Tương tự, trong $\mathbb{R}^m$, ta có $\dim(C(A)) + \dim(N(A^T)) = m$.

Nguyên lý Fredholm

Một tính chất đối xứng cấu trúc tồn tại sao cho đúng một trong hai bài toán sau đây có nghiệm:

  1. $Ax = b$: Vector $b$ nằm trong không gian cột.
  2. $A^T y = 0$ với $y^T b = 1$: $b$ có một thành phần trong không gian nghiệm trái, làm cho hệ thống trở nên không nhất quán.
🎯 Điểm sai lầm: Hai bức tường
Hai bức tường trong phòng trông vuông góc với nhau, nhưng chúng KHÔNG phải là các không gian con vuông góc! Cả hai đều chia sẻ đường giao nhau. Vì một vector trên đường giao nhau này không vuông góc với chính nó ($v^T v \neq 0$), nên định nghĩa nghiêm ngặt bị vi phạm. Hai mặt phẳng trong $\mathbb{R}^3$ không thể nào là các không gian con vuông góc.